/home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/klee-libc/Debug+Asserts/stpcpy.ll \
  /home/shadowvm/shadow/bupt_use_update/bupt_use/build_3/runtime/klee-libc/Debug+Asserts/stpcpy.bc.d: \
  /home/shadowvm/shadow/bupt_use_update/bupt_use/runtime/klee-libc/stpcpy.c
